1. Based Systems-Logical Tools for Handling Change in Agent
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
3. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
4. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
5. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
6. Formal methods for nonmonotonic and related logics.
پدیدآورنده : Karl Schlechta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Nonmonotonic reasoning.,Formal methods (Computer science),Nonmonotonic reasoning.
رده :
QA76
.
9
.
F67
7. Formal methods for nonmonotonic and related logics.
پدیدآورنده : Karl Schlechta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Nonmonotonic reasoning.,Formal methods (Computer science),Nonmonotonic reasoning.
رده :
QA76
.
9
.
F67
8. Friedrich Nietzsche
پدیدآورنده : Nietzsche, Friedrich Wilhelm
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : ، Nietzsche, Friedrich Wilhelm, 4481-0091,، Philosophy
رده :
B
3312
.
A2
1976
9. Friedrich Nietzsche
پدیدآورنده : Nietzsche, Friedrich Wilhelm, 4481-0091
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : ، Nietzsche, Friedrich Wilhelm, 4481-0091,Germany ، Philosophers
رده :
B3316
.
F75
1954
10. Logical tools for handling change in agent-based systems
پدیدآورنده : Dov M. Gabbay, Karl Schlechta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
11. Nietzche-index zu den Werken in drei Banden
پدیدآورنده : Schlechta, Karl, 4091-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع :
رده :
B3312
.
A2S3
1994
12. Nonmonotonic logics : basic concepts, results, and techniques
پدیدآورنده : Schlechta, Karl.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Default reasoning , Logic , Artificial intelligence , Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
13. Nonmonotonic logics : basic concepts, results and techniques
پدیدآورنده : Schlechta, Karl
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Default reasoning,، Logic,، Artificial intelligence,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1187
14. Nonmonotonic logics: basic concepts, results, and techniques
پدیدآورنده : Schlechta, Karl
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Default reasoning,، Logic,، Artificial intellgence,، Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
15. Werke in drei Bänden
پدیدآورنده : / Friedrich Nietzsche,نیچه,Nietzsche
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : فلسفه آلمانی, -- قرن ۱۹م.
رده :
B
۳۳۱۳
/
آ
۷
و
۴ ۱۳۶۱
16. Werke in drei Banden
پدیدآورنده : Nietzsche, Friedrich Wilhelm
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : ، Nietzsche, Friedrich Wilhelm, 4481-0091,، Philosophy
رده :
B
3312
.
A5
N5
1966